#!/usr/bin/env bash
cd /Workspace

tar zxvf PDO_MYSQL-1.0.2.tgz
cd PDO_MYSQL-1.0.2/
/tools/php/bin/phpize
./configure --with-php-config=/tools/php/bin/php-config --with-pdo-mysql=/tools/mysql
make && make install

echo 'extension=/tools/php/lib/php/extensions/no-debug-non-zts-20090626/pdo_mysql.so' >> ${PHP_INI}
